unidirectional synonyms
from
PatternSynonyms
単方向
match専用
whereありは、
explicitly bidirectional synonyms
ともいうっぽい？
構文
code:hs
pattern pat_lhs <- pat
where ...
e.g.
こう書いた時、
code:haskell
pattern Pos x <- Just x
matchで分解だけ可能
code:haskell
case m of
Pos x -> ...
しかし、下記は作れない
code:haskell
Pos 3
https://haskell.jp/blog/posts/2018/about-ghc-exts-1.html#パターンマッチをより柔軟に扱えるようにする